机译:模型检查交替时间的时间逻辑与知识,不完善的信息,完美的召回和沟通联盟
机译:具有知识,完美的回忆和过去的交替时间逻辑:公理化和模型检查
机译:基于共同知识的带有策略的模式变更时态逻辑是无法确定的
机译:模型检查游戏中不完全信息的逻辑
机译:在交替时间逻辑中具有真正完美的召回的代理
机译:微观经济学的三篇论文:存在网络外部性时不确定的创新。 Copyleft:具有网络外部性的R&D游戏。搜索模型中的召回不完善。
机译:不完善的多巴胺能错误信号可以驱动时差学习
机译:用知识,不完全信息,完善召回和沟通联盟模式检验交替时间时序逻辑